الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 4 /4
978-3-540-31864-4
Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

اقرأ المزيد
978-3-540-70901-5
Formal Concept Analysis

This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...

اقرأ المزيد
978-1-84628-127-3
Lattices and Ordered Algebraic Structures

Lattices and Ordered Algebraic Structures provides a lucid and concise introduction to the basic results concerning the notion ...

اقرأ المزيد
978-1-84800-201-2
Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combinatorics

Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications ...

اقرأ المزيد
عدد الكتب: 1 - 4 /4